Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
121	CS 311 Theory and Implementation of Programming Languages - Spring 16 Catalog Data Textbooks Instructor Add to Reading List Source URL: www.cs.siu.edu Language: English - Date: 2016-01-25 00:01:15 Source code Notation Programming language Syntax Scope Variable Subroutine
122	The Topics Type Inference, Higher Order Algebra, and Lambda Calculus Type Inference: how to find the possible type(s) of expressions, without Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-11 16:14:47 Lambda calculus Type theory Higher-order functions Programming language comparisons Logic in computer science Anonymous function Type inference Propositional calculus Map Unification Fold Calculus
123	PDF Document Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:30 Logic in computer science Formal methods Mathematical logic Notation Programming language Formal verification Semantics Structure Program transformation Logic programming Model theory Denotational semantics
124	Free Theorems about Monadic Code Janis Voigtl¨ander University of Bonn EWCE’11 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Programming paradigms Functional programming Programming language theory Literate programming Monad Declarative programming Haskell Side effect Echo Referential transparency Imperative programming Rc
125	Inference and enforcement of data structure consistency specifications Brian Demsky1 , Michael D. Ernst2 , Philip J. Guo2 , Stephen McCamant2 , Jeff H. Perkins2 , Martin Rinard2 University of California at Irvine, Irvine Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Internet Standards Internet protocols Computability theory Daikon Software testing Domain Name System Security Extensions Domain Name System Freeciv Programming language Object Process Methodology Specification language Internet protocol suite
126	The F# 4.0 Language Specification Note: This documentation is the specification of version 4.0 of the F# language, released inDiscrepancies may exist between this specification and the 4.0 implementation. Som Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Functional languages Object-oriented programming languages Data types Parsing Type theory F Sharp Lexical analysis Type system OCaml Anonymous function Scala Type inference
127	Themes in Information-Rich Functional Programming for Internet-Scale Data Sources Don Syme, Keith Battocchi, Kenji Takeda Microsoft Research Cambridge, UK Add to Reading List Source URL: tomasp.net Language: English - Date: 2016-08-05 06:39:50 Markup languages Type theory Type systems Procedural programming languages Functional languages Language Integrated Query JSON Type inference Functional programming Database Programming language Go
128	Transformation and Analysis of Haskell Source Code λ ⊥ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Higher-order functions Programming language comparisons Data types Functional programming Generalized algebraic data type Type theory Map Haskell Fold Yhc Hugs Conditional
129	A Practical Optional Type System for Clojure Ambrose Bonnaire-Sergeant Supervised by Rowan Davies This report is submitted as partial fulfilment Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2012-12-09 00:09:47 Functional languages Type theory Type systems Scripting languages Cross-platform software Clojure Gradual typing Functional programming Lisp Type inference Dynamic programming language ML
130	HAL8 Workshop: A Practical Approach to GHC Language Extensions Matthias Fischmann and S¨onke Hahn {mf,sh}@zerobuzz.net May 2, 2013 Abstract Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:32 Functional programming Functional languages Data types Type theory Source code Generalized algebraic data type Haskell Type class Lisp Macro Guard Pattern matching

UPDATE